第51回プログラミングシンポジウム「Virtual Star - 数学と論理による美の追及」